logische Variable

См. также в других словарях:

• Logische Partikel — Eine Konstante (von lat. constans – feststehend) ist ein Ausdruck mit einer „genau bestimmte[n] Bedeutung, die im Laufe der Überlegungen unverändert bleibt“[1]. Die Konstante ist damit ein Gegenbegriff zur Variablen. Logische Konstanten (häufig… …   Deutsch Wikipedia

• Logische Aussage — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

• Logische Form der Handlungssätze — Die logische Form der Handlungssätze (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde… …   Deutsch Wikipedia

• boolesche Variable —   (logische Variable), eine Variable, die nur einen von zwei möglichen Werten annehmen kann, die üblicherweise mit true und false (richtig bzw. falsch) bezeichnet werden. Boolesche Variablen werden in der Programmierung beispielsweise verwendet,… …   Universal-Lexikon

• Die logische Form der Handlungsätze — Die logische Form der Handlungssätze (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde… …   Deutsch Wikipedia

• Die logische Form der Handlungssätze — (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde 1966 bei einem Kongress über The… …   Deutsch Wikipedia

• Freie Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

• Gebundene Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

• Vollfreie Variable — Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist. Die Unterscheidung zwischen freien und vollfreien… …   Deutsch Wikipedia

• Bit — [bɪt], das; [s], [s]: kleinste Einheit der Informationseinheit beim Computer: ein Byte besteht aus acht Bit; ein Bit steht entweder auf 0 oder auf 1. * * * bịt 〈EDV; Zeichen für〉 Bit * * * 1Bịt , das; [s], s <aber: eine Million Bits od.… …   Universal-Lexikon

• K-Diagramm — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia